W.V. Quine’s systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with mod...(展开全部)

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unus...(展开全部)

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities. Part I offers an elementary but thorough overview of mathematical logic of first order. Part II introduces some of the newer ideas and the more profound results of logical research in the twentieth centur...(展开全部)

Explores additional important decidability results in this thoroughly updated new edition Introduces mathematical logic by analyzing foundational questions on proofs and provability in mathematics Highlights the capabilities and limitations of algorithms and proof methods both in mathematics and computer science Examines advanced topics, such as linking logic with computability...(展开全部)

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstro...(展开全部)

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed wit...(展开全部)

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed wit...(展开全部)